- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by C. C. Chang
45 found
Order:
- Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
- Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
- Elements of Mathematical Logic.C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
- A weak completeness theorem for infinite valued first-order logic.L. P. Belluce & C. C. Chang - 1963 - Journal of Symbolic Logic 28 (1):43-50.
- Bemerkungen zum Komprehensionsaxiom.Thoralf Skolem, C. C. Chang & Jens Erik Fenstad - 1967 - Journal of Symbolic Logic 32 (1):128-129.
- Omitting types of prenex formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.
- Modal model theory.C. C. Chang - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 599--617.
- On closure under direct product.C. C. Chang & Anne C. Morel - 1958 - Journal of Symbolic Logic 23 (2):149-154.
- An improved prenex normal form.C. C. Chang & H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (3):317-326.
- An Improved Prenex Normal Form.C. C. Chang & H. Jerome Keisler - 1968 - Journal of Symbolic Logic 33 (3):479-479.
- Algebraization of Infinitely Many-Valued Logic.C. Chang & C. C. Chang - 1971 - Journal of Symbolic Logic 36 (1):159-160.
- Applications of Ultraproducts of Pairs of Cardinals to the Theory of Models.C. C. Chang & H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (2):338-339.
- A Simple Proof of the Rabin-Keisler Theorem.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (2):277-277.
- Henkin Leon. Two concepts from the theory of models.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):95-96.
- Jörg Flum. A remark on infinitiary languages. The journal of symbolic logic, vol. 36 no. 3 , pp. 461–462.C. C. Chang - 1972 - Journal of Symbolic Logic 37 (4):764.
- Kochen Simon. Ultraproducts in the theory of models. Annals of mathematics, ser. 2 vol. 74 no. 2 , pp. 221–261.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):355-357.
- Logic with Positive and Negative Truth Values.C. C. Chang - 1971 - Journal of Symbolic Logic 36 (2):331-332.
- Maximal n-Disjointed Sets and the Axiom of Choice.C. C. Chang - 1970 - Journal of Symbolic Logic 35 (3):473-473.
- Model Theory Vol. 73.C. C. Chang & H. J. Keisler - 1990 - Elsevier. Edited by J. Barwise, H. J. Keisler & P. Suppes.
- On Closure Under Direct Product.C. C. Chang & Anne C. Morel - 1962 - Journal of Symbolic Logic 27 (2):234-235.
- Omitting Types of Prenex Formulas.C. C. Chang - 1974 - Journal of Symbolic Logic 39 (1):182-182.
- On the Representation of α-Complete Boolean Algebras.C. C. Chang - 1965 - Journal of Symbolic Logic 30 (2):252-252.
- On the Representation of α-Complete Lattices.C. C. Chang & A. Horn - 1969 - Journal of Symbolic Logic 34 (3):512-513.
- Robinson Abraham. Note on a problem of L. Henkin.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
- Some Cancellation Theorems for Ordinal Products of Relations.Chen Chung Chang, Anne C. Morel & C. C. Chang - 1966 - Journal of Symbolic Logic 31 (1):129-130.
- The writing of the MV-algebras.C. C. Chang - 1998 - Studia Logica 61 (1):3-6.
- Wu Yen-Yi. Shu hsüeh chia huei pu huei pei chi ch'i tai t'i . K'o hsüeh chiao yü , vol. 11 no. 3 , pp. 33–38.C. C. Chang - 1969 - Journal of Symbolic Logic 34 (3):521-521.
- A Weak Completeness Theorem for Infinite Valued First-Order Logic.Bruno Scarpellini, L. P. Belluce & C. C. Chang - 1971 - Journal of Symbolic Logic 36 (2):332.
- Review: H. Jerome Keisler, Model Theory. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648-648.
- Christensen D. J. and Pierce R. S.. Free products of α-distributive Boolean algebras. Mathematica Scandinavica, vol. 7 , pp. 81–105. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):99-100.
- G. Kreisel and J. L. Krivine. Elements of mathematical logic. . North-Holland Publishing Company, Amsterdam1967, xi + 222 pp. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112.
- H. Jerome Keisler. Model theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 141–150. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648.
- Hêng-San Kao. Kuan-yü Łoś ho Suszko “lun mu-hsing ti k'uo-chung ” i wen chih jo-kan hsiu-cheng ho chien-hua ”). Shuxue jinzhan , vol. 6 no. 4 , pp. 388–390. [REVIEW]C. C. Chang - 1971 - Journal of Symbolic Logic 36 (2):339-339.
- Keisler H. Jerome. Ultraproducts and elementary classes. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 , pp. 477–495; also Indagationes mathematicae, vol. 23 , pp. 477–495. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):357-358.
- Pierce R. S.. Distributivity and the normal completion of Boolean algebras. Pacific journal of mathematics, vol. 8 , pp. 133–140. [REVIEW]C. C. Chang - 1959 - Journal of Symbolic Logic 24 (3):251-251.
- Pierce R. S.. A note on complete Boolean algebras. Proceedings of the American Mathematical Society, vol. 9 , pp. 892–896. [REVIEW]C. C. Chang - 1959 - Journal of Symbolic Logic 24 (3):251-252.
- Robinson Abraham. Applications to field theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 326–331. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):97-97.
- Review: Abraham Robinson, Note on a Problem of L. Henkin. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
- Review: Abraham Robinson, Applications to Field Theory. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):97-97.
- Review: D. J. Christensen, R. S. Pierce, Free Products of $propto$-Distributive Boolean Algebras. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):99-100.
- Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
- Review: H. Jerome Keisler, Ultraproducts and Elementary Classes. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):357-358.
- Review: R. S. Pierce, A Note on Complete Boolean Algebras. [REVIEW]C. C. Chang - 1959 - Journal of Symbolic Logic 24 (3):251-252.
- Review: R. S. Pierce, Distributivity and the Normal Completion of Boolean Algebras. [REVIEW]C. C. Chang - 1959 - Journal of Symbolic Logic 24 (3):251-251.
- Review: Yen-Yi Wu, Can the Mathematician be Replaced by a Machine? [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (3):521-521.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-pjbg5 uwo